1. Bounded arithmetic /
Author: Samuel R. Buss
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity,Constructive mathematics
Classification :
QA9
.
56
.
B87
1986
2. Bounded arithmetic
Author: Buss, Samuel R.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Constructive mathematics,، Computational complexity
Classification :
QA
9
.
56
.
B87
1986
3. Bounded arithmetic, propositional logic, and complexity theory
Author: / Jan Krajicek
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Constructive mathematics.,Proposition (Logic),Computational complexity.
Classification :
QA
,
9
.
56
,.
K73
,
1995
4. Bounded arithmetic, propositional logic, and complexity theory
Author: Krajicek, Jan
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Constructive mathematics,، Proposition )Logic(,، Computational complexity
Classification :
QA
9
.
56
.
K7
5. Bounded arithmetic, propositional logic, and complexity theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Constructive mathematics. ; Proposition (Logic) ; Computational complexity. ;
6. Foundations of algorithms: using C++ pseudocode
پدیدآورنده : Neapolitan, Richard E.
موضوع : ، Algorithms,، Constructive mathematics,، Computational complexity
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Foundations of algorithms
Author: Neapolitan, Richard E.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Algorithms,، Constructive mathematics,، Computational complexity
Classification :
QA
9
.
58
.
N43
8. Foundations of algorithms
Author: / Richard Neapoltian and Kumarss Naimipour
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Algorithms,Constructive mathematics,Computational complexity
Classification :
QA
9
.
58
.
N43
2011
9. Foundations of algorithms
Author: / Richard E. Neapolitan, Kumarss Naimipour
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Algorithms,Constructive mathematics,Computational complexity
Classification :
QA
9
.
85
.
N43
1997
10. Foundations of algorithms
پدیدآورنده : Neapolitan, Richard E.
موضوع : ، Algorithms,، Constructive mathematics,، Computational complexity
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Foundations of algorithms
Author: Neapolitan, Richard E.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Algorithms , Constructive mathematics , Computational complexity
Classification :
QA
9
.
58
.
N43
1997
12. Foundations of algorithms : using C++ pseudocode
Author: Neapolitan, Richard E
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Algorithms,، Constructive mathematics,، Computational complexity
Classification :
QA
9
.
58
.
N43
1997
13. Foundations of algorithms using C++ pseudocode
Author: Neapolitan, Richard E.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Algorithms,، Constructive mathematics,، Computational complexity
Classification :
QA
9
.
58
.
N43
1998
14. Foundations of algorithms using C++ pseudocode
Author: / Richard E. Neapolitan, Kumarss Naimipour
Library: Ilam University Central Library (Ilam)
Subject: Algorithms,Constructive mathematics,Computational complexity
Classification :
QA9
.
58
.
N4F6
2004
15. Foundations of algorithms: using C++ pseudocode
Author: Neapolitan, Richard E.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Algorithms,، Constructive mathematics,، Computational complexity
Classification :
QA
9
.
58
.
N43
1998
16. Foundations of algorithms using C]] pseudocode
Author: Richard E. Neapolitan, Kumarss Naimipour,Title
Library: (Mazandaran)
Subject: Algorithms,Constructive mathematics,Computational complexity
Classification :
QA
.
N43
9
.
58
1997
17. Foundations of algorithms using C]] pseudocode
Author: Richard E. Neapolitan, Kumarss Naimipour,Title
Library: (Mazandaran)
Subject: Algorithms,Constructive mathematics,Computational complexity
Classification :
QA
.
N43
9
.
58
2004
18. Foundations of algorithms :Using C]] Pseudocode
Author: Richard E. Neapolitan, Kumarss Naimipour
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Algorithms,Constructive mathematics,Computational complexity
Classification :
QA
،
9
.
58
،.
N43
،
1998
19. Foundations of algorithms: using C++ pseudocode
Author: Neapolitan, Richard E.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Algorithms , Constructive mathematics , Computational complexity
Classification :
QA
9
.
58
.
N43
1998
20. Foundations of algorithms: using C++ pseudocode
Author: Neapolitan, Richard E.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Algorithms,، Constructive mathematics,، Computational complexity
Classification :
QA
9
.
58
.
N43
1998
